Tree decomposition

Results: 411



#Item
341Graph operations / Tree decomposition / Path decomposition / First-order logic / Tree / FO / Minor / Model theory / Dynamic programming / Graph theory / Mathematics / Theoretical computer science

MEMICS[removed]A Practical Approach to Courcelle’s Theorem 1

Add to Reading List

Source URL: tcs.rwth-aachen.de

Language: English - Date: 2010-01-20 04:43:33
342Logic / Graphical models / Search algorithms / Bayesian network / Networks / Inference / Hash table / Machine learning / Tree decomposition / Graph theory / Statistics / Bayesian statistics

BNJ 2.03a Intermediate Developer Tutorial Roby Joehanes (revised by William H. Hsu) Kansas State University

Add to Reading List

Source URL: bnj.sourceforge.net

Language: English - Date: 2004-07-21 02:20:01
343Graph / Matching / Tree / Path decomposition / Line graph / Graph theory / Mathematics / Theoretical computer science

Type Checking C++ Template Instantiation by Graph Programs (long version) Karl Azab and Karl-Heinz Pennemann [removed], [removed] Carl v. Ossietzky Universit¨at Oldenbu

Add to Reading List

Source URL: formale-sprachen.informatik.uni-oldenburg.de

Language: English - Date: 2007-12-06 11:11:43
344Graph / Tree / Matching / Path decomposition / Graph coloring / Graph theory / Mathematics / Theoretical computer science

Type Checking C++ Template Instantiation by Graph Programs

Add to Reading List

Source URL: formale-sprachen.informatik.uni-oldenburg.de

Language: English - Date: 2008-06-05 12:23:02
345Technical communication / XML / Tree / T-tree / B-tree / XQuery / Decomposition method / Computing / Binary trees / Markup languages

Secure XML Publishing without Information Leakage in the Presence of Data Inference

Add to Reading List

Source URL: www.vldb.org

Language: English - Date: 2006-07-29 01:29:20
346Logic / First-order logic / Model theory / Predicate logic / Datalog / FO / Decomposition method / Constraint logic programming / Theoretical computer science / Mathematical logic / Constraint programming

On Testing Satisfiability of Tree Pattern Queries

Add to Reading List

Source URL: www.vldb.org

Language: English - Date: 2006-07-29 01:28:11
347Planar graph / Maximum flow problem / Shortest path problem / Minor / Graph coloring / Neighbourhood / Homeomorphism / Tree decomposition / Connectivity / Graph theory / Mathematics / Graph operations

Homology Flows, Cohomology Cuts∗ Erin W. Chambers† Jeff Erickson‡ Amir Nayyeri§

Add to Reading List

Source URL: compgeom.cs.uiuc.edu

Language: English - Date: 2012-01-21 00:53:08
348Schedule / Binary trees / Tree / B-tree / Minimum spanning tree / Tree decomposition / Graph theory / Data management / Data

On Reconstructing Species Trees From Gene Trees In Term Of Duplications And Losses  y

Add to Reading List

Source URL: taxonomy.zoology.gla.ac.uk

Language: English - Date: 2007-07-24 12:39:54
349Clique / Tree decomposition / Vertex separator / Connectivity / Graph / NP-complete problems / Path decomposition / Planar separator theorem / Graph theory / Graph operations / Chordal graph

Bounds for cell entries in contingency tables given marginal totals and decomposable graphs Adrian Dobra and Stephen E. Fienberg* Department of Statistics and Center for Automated Learning and Discovery, Carnegie Mellon

Add to Reading List

Source URL: lib.stat.cmu.edu

Language: English - Date: 2000-10-25 12:01:29
350NP-complete problems / Tree / Graph / Vertex cover / Graph operations / Graph coloring / Path decomposition / Pseudoforest / Graph theory / Mathematics / Theoretical computer science

Secret sharing on trees: problem solved L´aszl´o Csirmaz∗

Add to Reading List

Source URL: www.renyi.hu

Language: English - Date: 2009-02-12 06:27:04
UPDATE